FIG: A Prototype Tool for Online Verification of Recovery Mechanisms ∗ Pete Broadwell Naveen Sastry

Source URL: naveen.ksastry.com

• Software testing
• Fault injection
• Application programming interfaces
• C dynamic memory allocation
• Exception handling
• Software quality
• Emacs
• C standard library
• System call
• Software
• Computing
• Computer programming

Accessing pc/MRP from MS Access   Marc Brown of Inpractis Corporation, took the time to delve into the mysteries of interfacing MS Access to pc/MRP Version 8.00.   I have successfully connected to pcMRP Visual FoxPro d

Source URL: www.pcmrp.com

• 4GL
• Procedural programming languages
• Visual FoxPro
• Microsoft Access
• FoxPro
• ODBC
• Windows Installer
• Borland Database Engine
• Data Moving Tool
• Computing
• Software
• Data management

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation

JADE: A Tool for Rapid Crisis Action Planning Alice M. Mulvehill BBN Technologies -- A Part of GTE Corporation 10 Moulton Street Cambridge, MA2228

Source URL: www.dodccrp.org

• Computer programming
• Global Command and Control System
• JADE
• Air Force Research Laboratory
• Computing
• Software engineering
• Defense Information Systems Agency

Building and Using a Cross Development Tool Chain Robert Schiele Abstract

Source URL: gcc.cybermirror.org

• Cross-platform software
• Programming language implementation
• Compiling tools
• Cross compiler
• GNU Binutils
• GNU Compiler Collection
• Distcc
• GNU Assembler
• Objective-C
• Software
• Computing
• Compilers

Keyword Compiler™ keywording software for individual creators, photo agencies and corporations Keyword Compiler started in the late 1990’s as an in-house keywording tool for the first CD-ROM catalog of International

Source URL: www.keywordcompiler.com

• Software engineering
• Programming language theory
• Computing
• C
• Cross-platform software

NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool

Source URL: piotrkosoft.net

NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool

Source URL: ftp.inf.utfsm.cl

Press Release No. 022 | or | March 02, 2015 ALMA Enhances Efficiency of Multi-core Processors Results of the EU Project: Tool Chain Reduces Time and Cost Expenditure of Programming Applications Run Faster

Source URL: www.kit.edu

NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool

Source URL: mirrors.ucr.ac.cr